Typed lambda calculus - PDFSEARCH.IO - Document Search Engine

Typed lambda calculus
Results: 163

#	Item
141	Uniform Logical Relations Edwin Westbrook Department of Computer Science Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2012-04-06 13:26:12 Dependently typed programming Logic in computer science Type theory Proof theory Functions and mappings Function Intuitionistic type theory Lambda calculus Xi Mathematics Mathematical logic Logic
142	Coeffects: Unified static analysis of context-dependence Tomas Petricek, Dominic Orchard and Alan Mycroft University of Cambridge, UK Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-04-30 05:07:23 Adjoint functors Logic in computer science Programming language semantics Lambda calculus Models of computation Monad Simply typed lambda calculus Function Entailment Logic Mathematics Theoretical computer science
143	Information and Computation 163, [removed]doi:[removed]Âinco[removed], available online at http:ÂÂwww.idealibrary.com on Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2006-02-19 18:16:34 Logic in computer science Lambda calculus Type theory Models of computation Programming language semantics Denotational semantics Simply typed lambda calculus Typed lambda calculus Combinatory logic Theoretical computer science Mathematics Mathematical logic
144	Calculus of Inductive Constructions Software Formal Verification Maria Jo˜ao Frade Add to Reading List Source URL: www3.di.uminho.pt Language: English - Date: 2009-06-24 07:52:22 Logic Programming language theory Calculus of constructions Entailment Typed lambda calculus Lambda cube Simply typed lambda calculus Type constructor Pure type system Type theory Lambda calculus Theoretical computer science
145	Under consideration for publication in J. Functional Programming 1 Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2006-11-24 14:08:53 Models of computation Dependently typed programming Type theory Functional languages Functional programming Generalized algebraic data type Standard ML Lambda calculus Natural deduction Software engineering Declarative programming Computing
146	Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types∗† Marcelo Fiore‡ Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2005-10-05 14:17:27 Lambda calculus Programming language theory Proof theory Curry–Howard correspondence Philosophy of computer science Type theory Combinatory logic Natural deduction Normalisation by evaluation Logic in computer science Theoretical computer science Mathematical logic
147	Habilitationsschrift Normalization by Evaluation Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2013-02-05 11:53:37 Lambda calculus Mathematical logic Logic in computer science Dependently typed programming Theory of computation Normalisation by evaluation Simply typed lambda calculus Typed lambda calculus Dependent type Type theory Programming language theory Theoretical computer science
148	Final year project Bertus: Implementing Observational Equality Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2013-09-05 05:05:27 Type theory Logic in computer science Dependently typed programming Lambda calculus Mathematical constructivism Intuitionistic type theory Proof assistant Dependent type Coq Mathematics Logic Theoretical computer science
149	Well-typed programs can’t be blamed Philip Wadler Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-05-16 09:09:09 Computer science Lambda calculus Data types Theory of computation Logic in computer science Subtype polymorphism Type system Type safety Typed lambda calculus Type theory Mathematics Theoretical computer science
150	A Tableau System for Natural Logic and Natural Reasoning Reinhard Muskens Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2011-04-24 14:07:30 Semantics Formal languages Computational linguistics Metalogic Algebraic logic Method of analytic tableaux Categorial grammar Simply typed lambda calculus Lambda calculus Logic Mathematical logic Mathematics